//! Functionality for processing first order formulae for static properties.

pub mod eval_wrappers;
pub mod fol_tree;
pub mod operator_enums;
pub mod parser;
pub mod tokenizer;
pub mod utils;

mod eval_algorithm;